Liquori, Luigi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract

Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 400 KB

english, 2005

2

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 857 KB

english, 2007

3

[IEEE 2009 IEEE Symposium on Computers and Communications (ISCC) - Sousse, Tunisia (2009.07.5-2009.07.8)] 2009 IEEE Symposium on Computers and Communications - Babelchord: a social tower of DHT-based overlay networks

Liquori, Luigi, Tedeschi, Cedric, Bongiovanni, Francesco

Year:

2009

Language:

english

File:

PDF, 1.97 MB

english, 2009

4

Addressed term rewriting systems: application to a typed object calculus

DOUGHERTY, DANIEL J., LESCANNE, PIERRE, LIQUORI, LUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 507 KB

english, 2006

5

Plugging-in proof development environments using Locks in LF

HONSELL, FURIO, LIQUORI, LUIGI, MAKSIMOVIĆ, PETAR, SCAGNETTO, IVAN

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 549 KB

english, 2018

6

Powerful resource discovery for Arigatoni overlay network

Raphael Chand, Michel Cosnard, Luigi Liquori

Journal:

Future Generation Computer Systems

Year:

2008

Language:

english

File:

PDF, 479 KB

english, 2008

7

The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]

Luigi Liquori, Benjamin Wack

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 414 KB

english, 2005

8

iRho: the Software: [System Description]

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 194 KB

english, 2006

9

Virtual Organizations in Arigatoni

Michel Cosnard, Luigi Liquori, Raphael Chand

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 456 KB

english, 2007

10

A Framework for Defining Logical Frameworks

Furio Honsell, Marina Lenisa, Luigi Liquori

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 704 KB

english, 2007

11

Extending FeatherTrait Java with Interfaces

Luigi Liquori, Arnaud Spiwack

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 423 KB

english, 2008

12

Comparing cubes of typed and type assignment systems

Steffen van Bakel, Luigi Liquori, Simona Ronchi della Rocca, Pawel Urzyczyn

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 2.17 MB

english, 1997

13

Rewriting Calculus with(out) Types

Horatiu Cirstea, Claude Kirchner, Luigi Liquori

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 258 KB

english, 2004

14

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.72 MB

english, 2003

15

Different spectra of genomic deletions within the CCM genes between Italian and American CCM patient cohorts

Christina L. Liquori, Silvana Penco, Judith Gault, Tracey P. Leedom, Laura Tassi, Teresa Esposito, Issam A. Awad, Luigi Frati, Eric W. Johnson, Ferdinando Squitieri, Douglas A. Marchuk, Fernando Gianf

Journal:

Year:

2008

Language:

english

File:

PDF, 228 KB

english, 2008

16

Towards an Intersection Typed System à la Church

Luigi Liquori, Simona Ronchi della Rocca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 260 KB

english, 2005

17

A Language for Verification and Manipulation of Web Documents: (Extended Abstract)

Luigi Liquori, Furio Honsell, Rekha Redamalla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 260 KB

english, 2006

18

Breast Cancer Incidence in the City and Province of Palermo in 1999-2002: A Breast Cancer Registry Report

ADELE TRAINA, ROSANNA CUSIMANO, MAURIZIO LIQUORI, AGNESE GUTTADAURO, BARBARA RAVAZZOLO, FRANCESCO PALUMBO, LUIGI CASTAGNETTA

Journal:

Annals of the New York Academy of Sciences

Year:

2004

Language:

english

File:

PDF, 3.81 MB

english, 2004

19

Intersection-types à la Church

Luigi Liquori, Simona Ronchi Della Rocca

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 723 KB

english, 2007

20

17β-Hydroxysteroid dehydrogenase activity in endometrial cancer cells: Different metabolic pathways of estradiol in hormone-responsive and non-responsive intact cells

Castagnetta, Luigi A.M., Montesanti, Annalisa M., Granata, Orazia M., Oliveri, Giuseppa, Sorci, Carmela M.G., Amodio, Rosalba, Liquori, Maurizio, Carruba, Giuseppe

Journal:

The Journal of Steroid Biochemistry and Molecular Biology

Year:

1995

Language:

english

File:

PDF, 612 KB

english, 1995

21

[IEEE IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) - Sofia, Bulgaria (2006.10.3-2006.10.3)] IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06) - Arigatoni: A Simple Programmable Overlay Network

Benza, Didier, Cosnard, Michel, Liquori, Luigi, Vesin, Marc

Year:

2006

Language:

english

File:

PDF, 278 KB

english, 2006

22

[IEEE 2011 IEEE 17th International Conference on Parallel and Distributed Systems (ICPADS) - Tainan, Taiwan (2011.12.7-2011.12.9)] 2011 IEEE 17th International Conference on Parallel and Distributed Systems - Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks

Ciancaglini, Vincenzo, Liquori, Luigi, Hoang, Giang Ngo

Year:

2011

Language:

english

File:

PDF, 166 KB

english, 2011

23

[IEEE International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP'07) - Papeete, France (2007.11.4-2007.11.9)] International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP'07) - Weaving Arigatoni with a Graph Topology

Cosnard, Michel, Liquori, Luigi

Year:

2007

Language:

english

File:

PDF, 373 KB

english, 2007

24

iRho: an imperative rewriting calculus

LIQUORI, LUIGI, SERPETTE, BERNARD PAUL

Journal:

Mathematical Structures in Computer Science

Year:

2008

Language:

english

File:

PDF, 848 KB

english, 2008

25

Analyzing the exhaustiveness of the Synapse protocol

Marinković, Bojan, Ciancaglini, Vincenzo, Ognjanović, Zoran, Glavan, Paola, Liquori, Luigi, Maksimović, Petar

Journal:

Peer-to-Peer Networking and Applications

Year:

2015

Language:

english

File:

PDF, 2.28 MB

english, 2015

26

FeatherTrait

Liquori, Luigi, Spiwack, Arnaud

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 427 KB

english, 2008

27

[ACM Press the 13th ACM SIGPLAN conference - Vancouver, British Columbia, Canada (1998.10.18-1998.10.22)] Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98 - A lambda calculus of objects with self-inflicted extension

Di Gianantonio, Pietro, Honsell, Furio, Liquori, Luigi

Year:

1998

Language:

english

File:

PDF, 1.29 MB

english, 1998

28

[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - LF P

Honsell, Furio, Lenisa, Marina, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

Year:

2012

Language:

english

File:

PDF, 732 KB

english, 2012

29

An open logical framework

Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar

Journal:

Journal of Logic and Computation

Year:

2013

Language:

english

File:

PDF, 1.60 MB

english, 2013

30

[IEEE International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP'07) - Papeete, France (2007.11.4-2007.11.9)] International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP'07) - Weaving Arigatoni with a Graph Topology

Cosnard, Michel, Liquori, Luigi

Year:

2007

Language:

english

File:

PDF, 373 KB

english, 2007

31

A lambda calculus of objects with self-inflicted extension

Di Gianantonio, Pietro, Honsell, Furio, Liquori, Luigi

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 1.29 MB

english, 1998

32

[ACM Press the Workshop - Oxford, United Kingdom (2017.09.08-2017.09.08)] Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 - Towards a Logical Framework with Intersection and Union Types

Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, Ivan

Year:

2017

Language:

english

File:

PDF, 690 KB

english, 2017

33

[ACM Press the Workshop - Oxford, United Kingdom (2017.09.08-2017.09.08)] Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 - Towards a Logical Framework with Intersection and Union Types

Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, Ivan

Year:

2017

File:

PDF, 690 KB

2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски